Boundedness Theorem